201. The singularity is near :
پدیدآورنده: Ray Kurzweil.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Brain-- Evolution.,Genetics.,Human evolution.,Nanotechnology.,Robotics.,Artificial Intelligence.,Biological Evolution.,Neural Networks (Computer)
رده :
QP376
.
K85
2006
202. The unknowable
پدیدآورنده: / by Gregory J. Chaitin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Machine theory,Computational complexity,Stochastic processes
رده :
QA276
.
C437
1999
203. The unknowable
پدیدآورنده: by Gregory J. Chaitin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Stochastic processes
رده :
QA
276
.
C43
204. The unknowable
پدیدآورنده: / by Gregory J. Chaitin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory,Computational complexity,Stochastic processes
رده :
QA276
.
C437
1999
205. The unknowable
پدیدآورنده: / by Gregory J. Chaitin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory,Computational complexity,Stochastic processes
رده :
E-BOOK
206. The unknowable
پدیدآورنده: by Gregory J. Chaitin
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Machine theory,، Computational complexity,، Stochastic processes
رده :
QA
276
.
C437
1999
207. Theoretical computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Combinatorial analysis- Data processing,، Computational complexity,، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
164
.
T45
208. Theory and applications of satisfiability testing -- SAT 2019 :
پدیدآورنده: Mikoláš Janota, Inês Lynce (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
209. Theory of computation
پدیدآورنده: / Derick Wood
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computational complexity,Machine theory,Computer science -- Mathematics
رده :
QA
267
.
W66
1987
210. Theory of computation
پدیدآورنده: / J. Glenn Brookshear
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Machine theory,Computational complexity
رده :
QA
267
.
B76
1989
211. Theory of computation
پدیدآورنده: / Derick Wood
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computational complexity,Machine theory,Computer science - Mathematics
رده :
QA
267
.
W66
1987
212. Theory of computation
پدیدآورنده: / A.M. Natarajan, A. Tamilarasi, P. Balasubramani
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computational complexity,Machine theory,Computer science -- Mathematics
رده :
QA
267
.
N35
2003
213. Theory of computation
پدیدآورنده: Natarajan, A.M.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Machine theory,، Computational complexity
رده :
QA
267
.
N38
2003
214. Theory of computation
پدیدآورنده: Wood, Derick
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computational complexity,، Machine theory,، Computer science-- Mathematics
رده :
QA
267
.
W66
1987
215. Theory of computation
پدیدآورنده: Wood, Derick
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computational complexity , Machine theory, Computer science - Mathematics
رده :
QA
267
.
W66
1987
216. Theory of computation: Formal languages, Automata, and complexity
پدیدآورنده: J. Glenn Brookshear
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Machine theory,Computational complexity
رده :
QA
،
267
،.
B76
،
1989
217. Theory of computation : formal languages, automata, and complexity
پدیدآورنده: Brookshear, J. Glenn.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Machine theory,، Computational complexity
رده :
QA
267
.
B76
1989
218. Theory of computation : formal languages, automata, and complexity
پدیدآورنده: J. Glenn Brookshear
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity
رده :
QA
267
.
B76
1989
219. Theory of computation : formal languages, automata, and complexity
پدیدآورنده: J. Glenn Brookshear
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Machine theory,، Computational complexity
رده :
QA
267
.
B76
1989
220. Theory of computation:formal languages,automata,& complexity
پدیدآورنده: BROOKSHEAR,J GLENN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MACHINE THEORY , COMPUTATIONAL COMPLEXIT
رده :
QA
267
.
B76
